It's probably now saved as "on" in their set-up since they ran it when "on" was the default, and now that option has saved, so they will likely need to switch it off from RGUI.
I thought I had rebuilt the binaries, but perhaps not - I will do that now